$\forall$$A$:MsgA, $x$:Id, $k$:Knd.
\\[0ex]$\neg$$A$.frame($k$ affects $x$) $\Rightarrow$ Feasible($A$) $\Rightarrow$ $\neg$$\langle$$k$$,\,$$x$$\rangle$ $\in$ dom(1of(2of(2of(2of(2of($A$))))))